Logical framework - PDFSEARCH.IO - Document Search Engine

Logical framework
Results: 288

#	Item
271	A Hybrid Logical Framework Jason Reed CMU-CS[removed]September 17, 2009 Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:03:32 Logical consequence Philosophical logic Formal systems Metalogic Logical framework Linear logic Axiom Soundness Inference Logic Deduction Proof theory
272	Jason Reed Phone: ([removed]Email: [removed] Web: http://jcreed.org/ Education Add to Reading List Source URL: jcreed.org Language: English - Date: 2013-01-05 19:00:47 Logic in computer science Automated theorem proving Type theory Dependently typed programming Logical framework Frank Pfenning Modal logic Twelf Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical logic Mathematics
273	Research Statement Jason Reed Research Agenda Motivations Mathematics succeeds when it builds bridges: a result connecting one approach (or one entire field Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:18:21 Non-classical logic Logic in computer science Type theory Dependently typed programming Automated theorem proving Logical framework Frank Pfenning Natural deduction Intuitionistic logic Logic Mathematical logic Mathematics
274	THE LOGICAL FRAMEWORK A MANAGER’S GUIDE TO A SCIENTIFIC APPROACH TO DESIGN & EVALUATION THE LOGICAL FRAMEWORK Add to Reading List Source URL: usaidprojectstarter.org Language: English - Date: 2013-01-14 00:00:00 Mind Neuropsychological assessment Evaluation methods Logical framework approach Impact assessment Framework Programmes for Research and Technological Development Planning Program evaluation Decision making Project management Science Evaluation
275	3. LOGICAL FRAMEWORK MATRIX – LFM Wider Objective: What is the overall broader objective, to which the project will contribute? Indicators of progress: Add to Reading List Source URL: eacea.ec.europa.eu Language: English - Date: 2011-11-04 11:48:27 Environmental indicator Community indicators Project management Conservation Environment
276	The NEXT Framework for Logical Xquery Optimization Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:28:04 4GL XQuery Conjunctive query FLWOR Free variables and bound variables List comprehension SQL R-tree Computing Query languages XML
277	3. PROJEKTPLANUNGSÜBERSICHT (LOGICAL FRAMEWORK MATRIX - LFM) Add to Reading List Source URL: eacea.ec.europa.eu Language: German - Date: 2011-11-04 11:48:27
278	PDF Document Add to Reading List Source URL: www.tekirdagab.gov.tr Language: English - Date: 2010-10-19 11:20:19 International development International economics Logical framework approach Quality assurance Evaluation Aid effectiveness Directorate-General for External Relations Software development methodology Development Project management EuropeAid Development and Cooperation
279	CLF: A logical framework for concurrent systems Thesis Proposal Kevin Watkins Carnegie Mellon University Committee: Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2003-05-13 12:40:00 Type theory Theoretical computer science Non-classical logic Dependently typed programming Logical framework Intuitionistic logic Frank Pfenning Dependent type Natural deduction Mathematical logic Logic Logic in computer science
280	Kevin Watkins 1570 Bridgeview Drive · San Diego CA 92105 · [removed]removed] · http://www.cs.cmu.edu/~kw Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-09-27 15:02:09 Logic in computer science Type theory Formal methods Automated theorem proving Logical framework Twelf Logic programming Prolog Programming language Programming language theory Theoretical computer science Software engineering

UPDATE